Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
161	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Diagrams Models of computation Software engineering Concurrency Message sequence chart Abstraction Petri net Infographics Computing Model checking Tree Algorithm
162	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
163	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
164	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:50 Model checkers Corporate finance Economy Business Promela SPIN model checker Model checking Long-running transaction Factoring Mergers and acquisitions Cost
165	IEEE ISORC 2014 Program Time Monday, 9 June 2014: Workshops SEUS SESSION 1: Embedded Systems Design & Applications Add to Reading List Source URL: www.isorc2014.org Language: English - Date: 2014-05-08 09:52:22 Software engineering Computing Programming language theory System of systems Systems engineering Systems theory Embedded system Hermann Kopetz Cyber-physical system Ada Model checking Operating system
166	Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Add to Reading List Source URL: www.sigops.org Language: English - Date: 2011-09-11 16:39:27 Concurrent programming languages Actor model Concurrent computing Trace XC
167	The Influence of Software Module Systems on Modular Verification Harry Li , Kathi Fisler and Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:30:39 Hardware verification languages E Component-based software engineering Model checking Modularity Modular programming Aspect-oriented software development Formal verification
168	Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Concurrent programming languages Actor model Concurrent computing Phase transition Trace XC
169	Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-11 09:56:52 Formal methods Theoretical computer science Project management Computer programming Refinement B-Method Feature model Model checking Object Process Methodology Software development process Algorithm Economic model
170	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing

UPDATE